Смотреть больше слов в «Англо-українському словнику технічних термінів»
first-order logic: translationThe study of inference in first-order languages.
Логіка (предикатів) першого порядку
исчисление предикатов первого порядка.
числення предикатів першого порядку
матем. логика первого порядка